free group

from Wiktionary, Creative Commons Attribution/Share-Alike License.

• noun mathematics A group (set with a particular kind of binary operation) that has a presentation without relators; equivalently, a free product of some number of copies of ℤ.